<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN" "http://www.w3.org/TR/html4/loose.dtd">
<!-- NewPage -->
<html lang="en">
<head>
<title>VerifyProofBoss</title>
<link rel="stylesheet" type="text/css" href="../../stylesheet.css" title="Style">
</head>
<body>
<script type="text/javascript"><!--
    if (location.href.indexOf('is-external=true') == -1) {
        parent.document.title="VerifyProofBoss";
    }
//-->
</script>
<noscript>
<div>JavaScript is disabled on your browser.</div>
</noscript>
<!-- ========= START OF TOP NAVBAR ======= -->
<div class="topNav"><a name="navbar_top">
<!--   -->
</a><a href="#skip-navbar_top" title="Skip navigation links"></a><a name="navbar_top_firstrow">
<!--   -->
</a>
<ul class="navList" title="Navigation">
<li><a href="../../overview-summary.html">Overview</a></li>
<li><a href="package-summary.html">Package</a></li>
<li class="navBarCell1Rev">Class</li>
<li><a href="package-tree.html">Tree</a></li>
<li><a href="../../deprecated-list.html">Deprecated</a></li>
<li><a href="../../index-all.html">Index</a></li>
<li><a href="../../help-doc.html">Help</a></li>
</ul>
</div>
<div class="subNav">
<ul class="navList">
<li><a href="../../mmj/util/UtilConstants.html" title="class in mmj.util"><span class="strong">Prev Class</span></a></li>
<li><a href="../../mmj/util/WorkVarBoss.html" title="class in mmj.util"><span class="strong">Next Class</span></a></li>
</ul>
<ul class="navList">
<li><a href="../../index.html?mmj/util/VerifyProofBoss.html" target="_top">Frames</a></li>
<li><a href="VerifyProofBoss.html" target="_top">No Frames</a></li>
</ul>
<ul class="navList" id="allclasses_navbar_top">
<li><a href="../../allclasses-noframe.html">All Classes</a></li>
</ul>
<div>
<script type="text/javascript"><!--
  allClassesLink = document.getElementById("allclasses_navbar_top");
  if(window==top) {
    allClassesLink.style.display = "block";
  }
  else {
    allClassesLink.style.display = "none";
  }
  //-->
</script>
</div>
<div>
<ul class="subNavList">
<li>Summary:&nbsp;</li>
<li>Nested&nbsp;|&nbsp;</li>
<li><a href="#field_summary">Field</a>&nbsp;|&nbsp;</li>
<li><a href="#constructor_summary">Constr</a>&nbsp;|&nbsp;</li>
<li><a href="#method_summary">Method</a></li>
</ul>
<ul class="subNavList">
<li>Detail:&nbsp;</li>
<li><a href="#field_detail">Field</a>&nbsp;|&nbsp;</li>
<li><a href="#constructor_detail">Constr</a>&nbsp;|&nbsp;</li>
<li><a href="#method_detail">Method</a></li>
</ul>
</div>
<a name="skip-navbar_top">
<!--   -->
</a></div>
<!-- ========= END OF TOP NAVBAR ========= -->
<!-- ======== START OF CLASS DATA ======== -->
<div class="header">
<div class="subTitle">mmj.util</div>
<h2 title="Class VerifyProofBoss" class="title">Class VerifyProofBoss</h2>
</div>
<div class="contentContainer">
<ul class="inheritance">
<li>java.lang.Object</li>
<li>
<ul class="inheritance">
<li><a href="../../mmj/util/Boss.html" title="class in mmj.util">mmj.util.Boss</a></li>
<li>
<ul class="inheritance">
<li>mmj.util.VerifyProofBoss</li>
</ul>
</li>
</ul>
</li>
</ul>
<div class="description">
<ul class="blockList">
<li class="blockList">
<hr>
<br>
<pre>public class <span class="strong">VerifyProofBoss</span>
extends <a href="../../mmj/util/Boss.html" title="class in mmj.util">Boss</a></pre>
<div class="block">Responsible for building, loading, maintaining and fetching ProofVerifier,
 and for executing RunParms involving it.
 <ul>
 <li>If non-executable parm, validate, store and "consume"
 <li>If Verify Proof or VerifyParse parm, validate, run, get error status,
 print-and-clear messages, and "consume". Remember that Messages,
 LogicalSystem and other objects may have changed. Don't worry about whether
 or not file is loaded, the LogicalSystemBoss will throw an exception if
 attempt is made to retrieve LogicalSystem if it is not loaded and error free.
 <li>If clear, set ProofVerifier to null.
 </ul></div>
</li>
</ul>
</div>
<div class="summary">
<ul class="blockList">
<li class="blockList">
<!-- =========== FIELD SUMMARY =========== -->
<ul class="blockList">
<li class="blockList"><a name="field_summary">
<!--   -->
</a>
<h3>Field Summary</h3>
<table class="overviewSummary" border="0" cellpadding="3" cellspacing="0" summary="Field Summary table, listing fields, and an explanation">
<caption><span>Fields</span><span class="tabEnd">&nbsp;</span></caption>
<tr>
<th class="colFirst" scope="col">Modifier and Type</th>
<th class="colLast" scope="col">Field and Description</th>
</tr>
<tr class="altColor">
<td class="colFirst"><code>protected boolean</code></td>
<td class="colLast"><code><strong><a href="../../mmj/util/VerifyProofBoss.html#allProofsVerifiedSuccessfully">allProofsVerifiedSuccessfully</a></strong></code>&nbsp;</td>
</tr>
<tr class="rowColor">
<td class="colFirst"><code>protected boolean</code></td>
<td class="colLast"><code><strong><a href="../../mmj/util/VerifyProofBoss.html#allStatementsParsedSuccessfully">allStatementsParsedSuccessfully</a></strong></code>&nbsp;</td>
</tr>
<tr class="altColor">
<td class="colFirst"><code>protected <a href="../../mmj/verify/VerifyProofs.html" title="class in mmj.verify">VerifyProofs</a></code></td>
<td class="colLast"><code><strong><a href="../../mmj/util/VerifyProofBoss.html#verifyProofs">verifyProofs</a></strong></code>&nbsp;</td>
</tr>
</table>
<ul class="blockList">
<li class="blockList"><a name="fields_inherited_from_class_mmj.util.Boss">
<!--   -->
</a>
<h3>Fields inherited from class&nbsp;mmj.util.<a href="../../mmj/util/Boss.html" title="class in mmj.util">Boss</a></h3>
<code><a href="../../mmj/util/Boss.html#batchFramework">batchFramework</a></code></li>
</ul>
</li>
</ul>
<!-- ======== CONSTRUCTOR SUMMARY ======== -->
<ul class="blockList">
<li class="blockList"><a name="constructor_summary">
<!--   -->
</a>
<h3>Constructor Summary</h3>
<table class="overviewSummary" border="0" cellpadding="3" cellspacing="0" summary="Constructor Summary table, listing constructors, and an explanation">
<caption><span>Constructors</span><span class="tabEnd">&nbsp;</span></caption>
<tr>
<th class="colOne" scope="col">Constructor and Description</th>
</tr>
<tr class="altColor">
<td class="colOne"><code><strong><a href="../../mmj/util/VerifyProofBoss.html#VerifyProofBoss(mmj.util.BatchFramework)">VerifyProofBoss</a></strong>(<a href="../../mmj/util/BatchFramework.html" title="class in mmj.util">BatchFramework</a>&nbsp;batchFramework)</code>
<div class="block">Constructor with BatchFramework for access to environment.</div>
</td>
</tr>
</table>
</li>
</ul>
<!-- ========== METHOD SUMMARY =========== -->
<ul class="blockList">
<li class="blockList"><a name="method_summary">
<!--   -->
</a>
<h3>Method Summary</h3>
<table class="overviewSummary" border="0" cellpadding="3" cellspacing="0" summary="Method Summary table, listing methods, and an explanation">
<caption><span>Methods</span><span class="tabEnd">&nbsp;</span></caption>
<tr>
<th class="colFirst" scope="col">Modifier and Type</th>
<th class="colLast" scope="col">Method and Description</th>
</tr>
<tr class="altColor">
<td class="colFirst"><code>boolean</code></td>
<td class="colLast"><code><strong><a href="../../mmj/util/VerifyProofBoss.html#doRunParmCommand(mmj.util.RunParmArrayEntry)">doRunParmCommand</a></strong>(<a href="../../mmj/util/RunParmArrayEntry.html" title="class in mmj.util">RunParmArrayEntry</a>&nbsp;runParm)</code>
<div class="block">Executes a single command from the RunParmFile.</div>
</td>
</tr>
<tr class="rowColor">
<td class="colFirst"><code>void</code></td>
<td class="colLast"><code><strong><a href="../../mmj/util/VerifyProofBoss.html#doVerifyParse(mmj.util.RunParmArrayEntry)">doVerifyParse</a></strong>(<a href="../../mmj/util/RunParmArrayEntry.html" title="class in mmj.util">RunParmArrayEntry</a>&nbsp;runParm)</code>
<div class="block">Executes the VerifyParse command, prints any messages, etc.</div>
</td>
</tr>
<tr class="altColor">
<td class="colFirst"><code>void</code></td>
<td class="colLast"><code><strong><a href="../../mmj/util/VerifyProofBoss.html#doVerifyProof(mmj.util.RunParmArrayEntry)">doVerifyProof</a></strong>(<a href="../../mmj/util/RunParmArrayEntry.html" title="class in mmj.util">RunParmArrayEntry</a>&nbsp;runParm)</code>
<div class="block">Executes the VerifyProof command, prints any messages, etc.</div>
</td>
</tr>
<tr class="rowColor">
<td class="colFirst"><code>boolean</code></td>
<td class="colLast"><code><strong><a href="../../mmj/util/VerifyProofBoss.html#getAllProofsVerifiedSuccessfully()">getAllProofsVerifiedSuccessfully</a></strong>()</code>
<div class="block">Returns true if all proofs verified successfully.</div>
</td>
</tr>
<tr class="altColor">
<td class="colFirst"><code>boolean</code></td>
<td class="colLast"><code><strong><a href="../../mmj/util/VerifyProofBoss.html#getAllStatementsParsedSuccessfully()">getAllStatementsParsedSuccessfully</a></strong>()</code>
<div class="block">Returns true if all statements parsed successfully.</div>
</td>
</tr>
<tr class="rowColor">
<td class="colFirst"><code><a href="../../mmj/verify/VerifyProofs.html" title="class in mmj.verify">VerifyProofs</a></code></td>
<td class="colLast"><code><strong><a href="../../mmj/util/VerifyProofBoss.html#getVerifyProofs()">getVerifyProofs</a></strong>()</code>
<div class="block">Return initialized VerifyProofs object</div>
</td>
</tr>
<tr class="altColor">
<td class="colFirst"><code>protected void</code></td>
<td class="colLast"><code><strong><a href="../../mmj/util/VerifyProofBoss.html#initializeVerifyProofsIfNeeded()">initializeVerifyProofsIfNeeded</a></strong>()</code>&nbsp;</td>
</tr>
</table>
<ul class="blockList">
<li class="blockList"><a name="methods_inherited_from_class_mmj.util.Boss">
<!--   -->
</a>
<h3>Methods inherited from class&nbsp;mmj.util.<a href="../../mmj/util/Boss.html" title="class in mmj.util">Boss</a></h3>
<code><a href="../../mmj/util/Boss.html#buildFileObjectForExistingFile(java.io.File, java.lang.String, java.lang.String)">buildFileObjectForExistingFile</a>, <a href="../../mmj/util/Boss.html#buildFileObjectForExistingFolder(java.io.File, java.lang.String, java.lang.String)">buildFileObjectForExistingFolder</a>, <a href="../../mmj/util/Boss.html#doConstructBufferedFileReader(java.lang.String, java.lang.String, java.io.File)">doConstructBufferedFileReader</a>, <a href="../../mmj/util/Boss.html#doConstructBufferedFileWriter(java.lang.String, java.lang.String, java.lang.String, java.io.File)">doConstructBufferedFileWriter</a>, <a href="../../mmj/util/Boss.html#doConstructPrintWriter(java.io.File, java.lang.String, java.lang.String, java.lang.String, java.lang.String)">doConstructPrintWriter</a>, <a href="../../mmj/util/Boss.html#editExistingFileRunParm(java.io.File, mmj.util.RunParmArrayEntry, java.lang.String, int)">editExistingFileRunParm</a>, <a href="../../mmj/util/Boss.html#editExistingFolderNameParm(mmj.util.RunParmArrayEntry, java.lang.String, int)">editExistingFolderNameParm</a>, <a href="../../mmj/util/Boss.html#editExistingFolderRunParm(java.io.File, mmj.util.RunParmArrayEntry, java.lang.String, int)">editExistingFolderRunParm</a>, <a href="../../mmj/util/Boss.html#editFileCharsetParm(mmj.util.RunParmArrayEntry, java.lang.String, int)">editFileCharsetParm</a>, <a href="../../mmj/util/Boss.html#editFileNameParm(mmj.util.RunParmArrayEntry, java.lang.String, int)">editFileNameParm</a>, <a href="../../mmj/util/Boss.html#editFileUsageParm(mmj.util.RunParmArrayEntry, java.lang.String, int)">editFileUsageParm</a>, <a href="../../mmj/util/Boss.html#editOnOffRunParm(mmj.util.RunParmArrayEntry, java.lang.String, int)">editOnOffRunParm</a>, <a href="../../mmj/util/Boss.html#editPrintWriterRunParm(java.io.File, mmj.util.RunParmArrayEntry, java.lang.String)">editPrintWriterRunParm</a>, <a href="../../mmj/util/Boss.html#editProofWorksheetFileNameSuffix(mmj.util.RunParmArrayEntry, java.lang.String, int)">editProofWorksheetFileNameSuffix</a>, <a href="../../mmj/util/Boss.html#editRunParmNonNegativeInteger(java.lang.Integer, java.lang.String)">editRunParmNonNegativeInteger</a>, <a href="../../mmj/util/Boss.html#editRunParmPositiveInteger(java.lang.Integer, java.lang.String)">editRunParmPositiveInteger</a>, <a href="../../mmj/util/Boss.html#editRunParmPrintableNoBlanksString(mmj.util.RunParmArrayEntry, java.lang.String, int)">editRunParmPrintableNoBlanksString</a>, <a href="../../mmj/util/Boss.html#editRunParmValueInteger(java.lang.String, java.lang.String)">editRunParmValueInteger</a>, <a href="../../mmj/util/Boss.html#editRunParmValueReqInt(mmj.util.RunParmArrayEntry, java.lang.String, int)">editRunParmValueReqInt</a>, <a href="../../mmj/util/Boss.html#editRunParmValueReqNonNegativeInt(mmj.util.RunParmArrayEntry, java.lang.String, int)">editRunParmValueReqNonNegativeInt</a>, <a href="../../mmj/util/Boss.html#editRunParmValueReqPosInt(mmj.util.RunParmArrayEntry, java.lang.String, int)">editRunParmValueReqPosInt</a>, <a href="../../mmj/util/Boss.html#editRunParmValueReqRGBColor(mmj.util.RunParmArrayEntry, java.lang.String)">editRunParmValueReqRGBColor</a>, <a href="../../mmj/util/Boss.html#editRunParmValuesLength(mmj.util.RunParmArrayEntry, java.lang.String, int)">editRunParmValuesLength</a>, <a href="../../mmj/util/Boss.html#editRunParmValueStmt(java.lang.String, java.lang.String, mmj.lang.LogicalSystem)">editRunParmValueStmt</a>, <a href="../../mmj/util/Boss.html#editRunParmValueTheorem(java.lang.String, java.lang.String, mmj.lang.LogicalSystem)">editRunParmValueTheorem</a>, <a href="../../mmj/util/Boss.html#editYesNoRunParm(mmj.util.RunParmArrayEntry, java.lang.String, int)">editYesNoRunParm</a>, <a href="../../mmj/util/Boss.html#getSelectorAllRunParmOption(mmj.util.RunParmArrayEntry, java.lang.String, int)">getSelectorAllRunParmOption</a>, <a href="../../mmj/util/Boss.html#getSelectorCountRunParmOption(mmj.util.RunParmArrayEntry, java.lang.String, int)">getSelectorCountRunParmOption</a>, <a href="../../mmj/util/Boss.html#getSelectorTheoremRunParmOption(mmj.util.RunParmArrayEntry, java.lang.String, int, java.util.Map)">getSelectorTheoremRunParmOption</a></code></li>
</ul>
<ul class="blockList">
<li class="blockList"><a name="methods_inherited_from_class_java.lang.Object">
<!--   -->
</a>
<h3>Methods inherited from class&nbsp;java.lang.Object</h3>
<code>clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait</code></li>
</ul>
</li>
</ul>
</li>
</ul>
</div>
<div class="details">
<ul class="blockList">
<li class="blockList">
<!-- ============ FIELD DETAIL =========== -->
<ul class="blockList">
<li class="blockList"><a name="field_detail">
<!--   -->
</a>
<h3>Field Detail</h3>
<a name="verifyProofs">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>verifyProofs</h4>
<pre>protected&nbsp;<a href="../../mmj/verify/VerifyProofs.html" title="class in mmj.verify">VerifyProofs</a> verifyProofs</pre>
</li>
</ul>
<a name="allProofsVerifiedSuccessfully">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>allProofsVerifiedSuccessfully</h4>
<pre>protected&nbsp;boolean allProofsVerifiedSuccessfully</pre>
</li>
</ul>
<a name="allStatementsParsedSuccessfully">
<!--   -->
</a>
<ul class="blockListLast">
<li class="blockList">
<h4>allStatementsParsedSuccessfully</h4>
<pre>protected&nbsp;boolean allStatementsParsedSuccessfully</pre>
</li>
</ul>
</li>
</ul>
<!-- ========= CONSTRUCTOR DETAIL ======== -->
<ul class="blockList">
<li class="blockList"><a name="constructor_detail">
<!--   -->
</a>
<h3>Constructor Detail</h3>
<a name="VerifyProofBoss(mmj.util.BatchFramework)">
<!--   -->
</a>
<ul class="blockListLast">
<li class="blockList">
<h4>VerifyProofBoss</h4>
<pre>public&nbsp;VerifyProofBoss(<a href="../../mmj/util/BatchFramework.html" title="class in mmj.util">BatchFramework</a>&nbsp;batchFramework)</pre>
<div class="block">Constructor with BatchFramework for access to environment.</div>
<dl><dt><span class="strong">Parameters:</span></dt><dd><code>batchFramework</code> - for access to environment.</dd></dl>
</li>
</ul>
</li>
</ul>
<!-- ============ METHOD DETAIL ========== -->
<ul class="blockList">
<li class="blockList"><a name="method_detail">
<!--   -->
</a>
<h3>Method Detail</h3>
<a name="getAllProofsVerifiedSuccessfully()">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>getAllProofsVerifiedSuccessfully</h4>
<pre>public&nbsp;boolean&nbsp;getAllProofsVerifiedSuccessfully()</pre>
<div class="block">Returns true if all proofs verified successfully.</div>
<dl><dt><span class="strong">Returns:</span></dt><dd>true if all proofs verified successfully.</dd></dl>
</li>
</ul>
<a name="getAllStatementsParsedSuccessfully()">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>getAllStatementsParsedSuccessfully</h4>
<pre>public&nbsp;boolean&nbsp;getAllStatementsParsedSuccessfully()</pre>
<div class="block">Returns true if all statements parsed successfully.</div>
<dl><dt><span class="strong">Returns:</span></dt><dd>true if all statements parsed successfully.</dd></dl>
</li>
</ul>
<a name="getVerifyProofs()">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>getVerifyProofs</h4>
<pre>public&nbsp;<a href="../../mmj/verify/VerifyProofs.html" title="class in mmj.verify">VerifyProofs</a>&nbsp;getVerifyProofs()</pre>
<div class="block">Return initialized VerifyProofs object</div>
<dl><dt><span class="strong">Returns:</span></dt><dd>VerifyProofs object</dd></dl>
</li>
</ul>
<a name="doRunParmCommand(mmj.util.RunParmArrayEntry)">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>doRunParmCommand</h4>
<pre>public&nbsp;boolean&nbsp;doRunParmCommand(<a href="../../mmj/util/RunParmArrayEntry.html" title="class in mmj.util">RunParmArrayEntry</a>&nbsp;runParm)
                         throws java.lang.IllegalArgumentException,
                                <a href="../../mmj/mmio/MMIOException.html" title="class in mmj.mmio">MMIOException</a>,
                                java.io.FileNotFoundException,
                                java.io.IOException,
                                <a href="../../mmj/lang/VerifyException.html" title="class in mmj.lang">VerifyException</a></pre>
<div class="block">Executes a single command from the RunParmFile.</div>
<dl>
<dt><strong>Specified by:</strong></dt>
<dd><code><a href="../../mmj/util/Boss.html#doRunParmCommand(mmj.util.RunParmArrayEntry)">doRunParmCommand</a></code>&nbsp;in class&nbsp;<code><a href="../../mmj/util/Boss.html" title="class in mmj.util">Boss</a></code></dd>
<dt><span class="strong">Parameters:</span></dt><dd><code>runParm</code> - the RunParmFile line to execute.</dd>
<dt><span class="strong">Returns:</span></dt><dd><code>true</code> if the RunParm was "consumed"</dd>
<dt><span class="strong">Throws:</span></dt>
<dd><code>java.lang.IllegalArgumentException</code> - if an error occurred in the RunParm</dd>
<dd><code><a href="../../mmj/mmio/MMIOException.html" title="class in mmj.mmio">MMIOException</a></code> - if an error occurred in the RunParm</dd>
<dd><code>java.io.FileNotFoundException</code> - if an error occurred in the RunParm</dd>
<dd><code>java.io.IOException</code> - if an error occurred in the RunParm</dd>
<dd><code><a href="../../mmj/lang/VerifyException.html" title="class in mmj.lang">VerifyException</a></code> - if an error occurred in the RunParm</dd></dl>
</li>
</ul>
<a name="doVerifyProof(mmj.util.RunParmArrayEntry)">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>doVerifyProof</h4>
<pre>public&nbsp;void&nbsp;doVerifyProof(<a href="../../mmj/util/RunParmArrayEntry.html" title="class in mmj.util">RunParmArrayEntry</a>&nbsp;runParm)
                   throws java.lang.IllegalArgumentException,
                          java.io.IOException,
                          <a href="../../mmj/lang/VerifyException.html" title="class in mmj.lang">VerifyException</a></pre>
<div class="block">Executes the VerifyProof command, prints any messages, etc.</div>
<dl><dt><span class="strong">Parameters:</span></dt><dd><code>runParm</code> - RunParmFile line.</dd>
<dt><span class="strong">Throws:</span></dt>
<dd><code>java.lang.IllegalArgumentException</code> - if an error occurred</dd>
<dd><code>java.io.IOException</code> - if an error occurred</dd>
<dd><code><a href="../../mmj/lang/VerifyException.html" title="class in mmj.lang">VerifyException</a></code> - if an error occurred</dd></dl>
</li>
</ul>
<a name="doVerifyParse(mmj.util.RunParmArrayEntry)">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>doVerifyParse</h4>
<pre>public&nbsp;void&nbsp;doVerifyParse(<a href="../../mmj/util/RunParmArrayEntry.html" title="class in mmj.util">RunParmArrayEntry</a>&nbsp;runParm)
                   throws java.lang.IllegalArgumentException,
                          java.io.IOException,
                          <a href="../../mmj/lang/VerifyException.html" title="class in mmj.lang">VerifyException</a></pre>
<div class="block">Executes the VerifyParse command, prints any messages, etc.</div>
<dl><dt><span class="strong">Parameters:</span></dt><dd><code>runParm</code> - RunParmFile line.</dd>
<dt><span class="strong">Throws:</span></dt>
<dd><code>java.lang.IllegalArgumentException</code> - if an error occurred</dd>
<dd><code>java.io.IOException</code> - if an error occurred</dd>
<dd><code><a href="../../mmj/lang/VerifyException.html" title="class in mmj.lang">VerifyException</a></code> - if an error occurred</dd></dl>
</li>
</ul>
<a name="initializeVerifyProofsIfNeeded()">
<!--   -->
</a>
<ul class="blockListLast">
<li class="blockList">
<h4>initializeVerifyProofsIfNeeded</h4>
<pre>protected&nbsp;void&nbsp;initializeVerifyProofsIfNeeded()</pre>
</li>
</ul>
</li>
</ul>
</li>
</ul>
</div>
</div>
<!-- ========= END OF CLASS DATA ========= -->
<!-- ======= START OF BOTTOM NAVBAR ====== -->
<div class="bottomNav"><a name="navbar_bottom">
<!--   -->
</a><a href="#skip-navbar_bottom" title="Skip navigation links"></a><a name="navbar_bottom_firstrow">
<!--   -->
</a>
<ul class="navList" title="Navigation">
<li><a href="../../overview-summary.html">Overview</a></li>
<li><a href="package-summary.html">Package</a></li>
<li class="navBarCell1Rev">Class</li>
<li><a href="package-tree.html">Tree</a></li>
<li><a href="../../deprecated-list.html">Deprecated</a></li>
<li><a href="../../index-all.html">Index</a></li>
<li><a href="../../help-doc.html">Help</a></li>
</ul>
</div>
<div class="subNav">
<ul class="navList">
<li><a href="../../mmj/util/UtilConstants.html" title="class in mmj.util"><span class="strong">Prev Class</span></a></li>
<li><a href="../../mmj/util/WorkVarBoss.html" title="class in mmj.util"><span class="strong">Next Class</span></a></li>
</ul>
<ul class="navList">
<li><a href="../../index.html?mmj/util/VerifyProofBoss.html" target="_top">Frames</a></li>
<li><a href="VerifyProofBoss.html" target="_top">No Frames</a></li>
</ul>
<ul class="navList" id="allclasses_navbar_bottom">
<li><a href="../../allclasses-noframe.html">All Classes</a></li>
</ul>
<div>
<script type="text/javascript"><!--
  allClassesLink = document.getElementById("allclasses_navbar_bottom");
  if(window==top) {
    allClassesLink.style.display = "block";
  }
  else {
    allClassesLink.style.display = "none";
  }
  //-->
</script>
</div>
<div>
<ul class="subNavList">
<li>Summary:&nbsp;</li>
<li>Nested&nbsp;|&nbsp;</li>
<li><a href="#field_summary">Field</a>&nbsp;|&nbsp;</li>
<li><a href="#constructor_summary">Constr</a>&nbsp;|&nbsp;</li>
<li><a href="#method_summary">Method</a></li>
</ul>
<ul class="subNavList">
<li>Detail:&nbsp;</li>
<li><a href="#field_detail">Field</a>&nbsp;|&nbsp;</li>
<li><a href="#constructor_detail">Constr</a>&nbsp;|&nbsp;</li>
<li><a href="#method_detail">Method</a></li>
</ul>
</div>
<a name="skip-navbar_bottom">
<!--   -->
</a></div>
<!-- ======== END OF BOTTOM NAVBAR ======= -->
</body>
</html>
